op { graph_op_name: "StatelessWhile" visibility: HIDDEN }
